namespace CXX_INT_TO_FLOAT_CONV {
	void func_bad_1(void) {
		short a = 533;
		int b = 6789;
		long c = 466438237;
		float d = a / 7; /* d is 76.0 */
		double e = b / 30; /* e is 226.0 */
		double f = c * 789; /* f may be negative due to overflow */
	}

	void func_bad_2(void) {
		short a = 533;

		float d;
		d = a / 7; /* d is 76.0 */
	}

	void func_good_1(void) {
		short a = 533;
		int b = 6789;
		long c = 466438237;
		float d = a / 7.0f; /* d is 76.0 */
		double e = b / 30.0; /* e is 226.0 */
		double f = (double)c * 789; /* f may be negative due to overflow */
	}

	void func_good_2(void) {
		short a = 533;

		float d = a;

		d /= 7; /* d is 76.14286 */
	}


}